Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
81	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
82	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
83	Skill Cluster Page 1 Learning Skill 1.1 Interactive Skills - Exchanging thoughts, messages & information effectively through interaction Add to Reading List Source URL: taolearn.com Language: English - Date: 2015-05-21 20:54:53 Seattle Mariners all-time roster Baltimore Orioles all-time roster Modal logic Non-classical logic Philosophical logic
84	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
85	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
86	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
87	Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-05-22 05:57:02 Information science Temporal logic Modal logic Science Information Non-classical logic Artificial intelligence Description logic
88	Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:34:48 Locally compact space Duality Logic Equivalence of categories Stone duality Non-classical analysis Topology Mathematics General topology
89	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:40:18 Logicians Non-classical logic Philosophical logic Epistemic modal logic Plagiarism Mathematical logic Johan van Benthem Logic Science Modal logic
90	On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2012-01-12 21:52:26 Knowledge Reasoning Critical thinking Defeasible logic Defeasible reasoning Argument Non-monotonic logic Modal logic Inquiry Logic Science Non-classical logic

UPDATE